Viorica Sofronie-Stokkermans: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I

Viorica Sofronie-Stokkermans

Journal:

Year:

2000

File:

PDF, 1.32 MB

2000

2

Applications of Hierarchical Reasoning in the Verification of Complex Systems

Swen Jacobs, Viorica Sofronie-Stokkermans

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 337 KB

english, 2007

3

Special issue on automated deduction: Decidability, complexity, tractability

Silvio Ghilardi, Viorica Sofronie-Stokkermans, Ulrike Sattler, Ashish Tiwari

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 185 KB

english, 2010

4

Constraint solving for interpolation

Andrey Rybalchenko, Viorica Sofronie-Stokkermans

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 547 KB

english, 2010

5

Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators

Viorica Sofronie-Stokkermans

Journal:

Journal of Symbolic Computation

Year:

2003

Language:

english

File:

PDF, 488 KB

english, 2003

6

Automated theorem proving by resolution in non-classical logics

Viorica Sofronie-Stokkermans

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 600 KB

english, 2007

7

PTIME Parametric Verification of Safety Properties for Reasonable Linear Hybrid Automata

Werner Damm, Carsten Ihlemann, Viorica Sofronie-Stokkermans

Journal:

Mathematics in Computer Science

Year:

2011

Language:

english

File:

PDF, 469 KB

english, 2011

8

Sheaves and Geometric Logic and Applications to Modular Verification of Complex Systems

Viorica Sofronie-Stokkermans

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 507 KB

english, 2009

9

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II

Viorica Sofronie-Stokkermans

Journal:

Year:

2000

File:

PDF, 807 KB

2000

10

Modular proof systems for partial functions with Evans equality

Harald Ganzinger, Viorica Sofronie-Stokkermans, Uwe Waldmann

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 427 KB

english, 2006

11

First-order theorem proving: Foreword

Nicolas Peltier, Viorica Sofronie-Stokkermans

Journal:

Journal of Symbolic Computation

Year:

2012

Language:

english

File:

PDF, 139 KB

english, 2012

12

Preface: Special Issue of Selected Extended Papers of CADE-23

Nikolaj Bjørner, Viorica Sofronie-Stokkermans

Journal:

Journal of Automated Reasoning

Year:

2013

Language:

english

File:

PDF, 105 KB

english, 2013

13

[IEEE 37th International Symposium on Multiple-Valued Logic - Oslo, Norway (2007.05.13-2007.05.16)] 37th International Symposium on Multiple-Valued Logic (ISMVL'07) - Automated Reasoning in Some Local Extensions of Ordered Structures

Sofronie-Stokkermans, Viorica, Ihlemann, Carsten

Year:

2007

Language:

english

File:

PDF, 193 KB

english, 2007

14

[Lecture Notes in Computer Science] Frontiers of Combining Systems Volume 6989 || Stochastic Local Search for SMT: Combining Theory Solvers with WalkSAT

Tinelli, Cesare, Sofronie-Stokkermans, Viorica

Year:

2011

Language:

english

File:

PDF, 339 KB

english, 2011

15

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Decidability and complexity for the verification of safety properties of reasonable linear hybrid automata

Damm, Werner, Ihlemann, Carsten, Sofronie-Stokkermans, Viorica

Year:

2011

Language:

english

File:

PDF, 532 KB

english, 2011

16

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics II

Viorica Sofronie-Stokkermans

Journal:

Year:

2000

Language:

english

File:

PDF, 2.59 MB

english, 2000

17

Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I

Viorica Sofronie-Stokkermans

Journal:

Year:

2000

Language:

english

File:

PDF, 4.13 MB

english, 2000

18

Parametric Systems: Verification and Synthesis

Sofronie-Stokkermans, Viorica, Kleijn, Jetty, LeuÅtean, LaurenÅ£iu, Lucanu, Dorel

Journal:

Fundamenta Informaticae

Year:

2020

File:

PDF, 495 KB

2020

19

[Lecture Notes in Computer Science] Automated Reasoning Volume 12166 (10th International Joint Conference, IJCAR 2020, Paris, France, July 1â4, 2020, Proceedings, Part I) ||

Peltier, Nicolas, Sofronie-Stokkermans, Viorica

Year:

2020

File:

PDF, 14.82 MB

2020

20

[Lecture Notes in Computer Science] Automated Reasoning Volume 12167 (10th International Joint Conference, IJCAR 2020, Paris, France, July 1â4, 2020, Proceedings, Part II) ||

Peltier, Nicolas, Sofronie-Stokkermans, Viorica

Year:

2020

File:

PDF, 20.35 MB

2020

21

Representation Theorems and Locality for Subsumption Testing and Interpolation in the Description Logics Éâ, Éâ+ and their Extensions with n-ary Roles and Numerical Domains

Sofronie-Stokkermans, Viorica, NiwiÅski, Damian, OrÅowska, Ewa

Journal:

Fundamenta Informaticae

Year:

2017

File:

PDF, 516 KB

2017